all:
	gcc sat.c -o sat -ggdb -O3
